A dual open coloring axiom
نویسندگان
چکیده
منابع مشابه
A dual version of Brook’s coloring theorem
LetG = (V,E) be a graph with a fixed orientation and let A be an abelian group. Let F (G,A) denote the set of all functions from E(G) to A. The graph G is A-connected if for any function f̄ ∈ F (G,A), there exists an A-flow f such that f(e) 6= f̄(e) for any e ∈ E(G). The graph G is A-colorable if for any function f ∈ F (G,A), there exists a function c : V (G) → A such that for any arc e = (u, v) ...
متن کاملThe Bounded Axiom A Forcing Axiom
We introduce the Bounded Axiom A Forcing Axiom(BAAFA). It turns out that it is equiconsistent with the existence of a regular Σ2-correct cardinal and hence also equiconsistent with BPFA. Furthermore we show that, if consistent, it does not imply the Bounded Proper Forcing Axiom(BPFA).
متن کاملA dual version of the Brooks group coloring theorem
Let G be a 2-edge-connected undirected graph, A be an (additive) Abelian group, and A = A − {0}. A graph G is A-connected if G has an orientation D(G) such that for every mapping b: V (G) → A satisfying v∈V (G) b(v) = 0, there is a function f : E(G) → A ∗ such that for each vertex v ∈ V (G), the sum of f over the edges directed out from v minus the sum of f over the edges directed into v eq...
متن کاملGraph Coloring: History, results and open problems
Coloring theory started with the problem of coloring the countries of a map in such a way that no two countries that have a common border receive the same color. If we denote the countries by points in the plane and connect each pair of points that correspond to countries with a common border by a curve, we obtain a planar graph. The celebrated Four Color Problem asks if every planar graph can ...
متن کاملAffyPipe: an open-source pipeline for Affymetrix Axiom genotyping workflow
UNLABELLED The Affymetrix Axiom genotyping standard and 'best practice' workflow for Linux and Mac users consists of three stand-alone executable programs (Affymetrix Power Tools) and an R package (SNPolisher). Currently, SNP analysis has to be performed in a step-by-step procedure. Manual intervention and/or programming skills by the user is required at each intermediate point, as Affymetrix P...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Annals of Pure and Applied Logic
سال: 2006
ISSN: 0168-0072
DOI: 10.1016/j.apal.2005.09.003